Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
541	Type Theory & Functional Programming Simon Thompson Computing Laboratory, University of Kent March 1999 Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2012-11-02 09:24:49 Theoretical computer science Logic in computer science Lambda calculus Proof theory Dependently typed programming Curry–Howard correspondence Intuitionistic type theory Combinatory logic Natural deduction Mathematics Mathematical logic Type theory
542	THE COLLEGES OF OXFORD UNIVERSITY MATHEMATICS, JOINT SCHOOLS AND COMPUTER SCIENCE Sample Solutions for Specimen Test 1 1. A. The two curves y = x2 and y = x + 2 meet when Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-07-08 03:58:42 Function Proof that π is irrational Sturm–Liouville theory Mathematics Trigonometry Sine
543	A multiprover interactive proof system for the local Hamiltonian problem Joseph Fitzsimons∗ Thomas Vidick† Abstract Add to Reading List Source URL: www.quantum-lab.org Language: English - Date: 2014-11-28 23:31:17 Quantum information science Complexity classes Interactive proof system QMA NEXPTIME IP Probabilistically checkable proof Qubit Quantum computer Theoretical computer science Applied mathematics Computational complexity theory
544	Down with kinds: adding dependent heterogeneous equality to FC (Extended Version) Stephanie Weirich Justin Hsu Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:14 Entailment Logical consequence Metalogic Soundness Logic Deduction Proof theory
545	On Quantum Interactive Proofs with Short Messages Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2012-12-09 02:04:20 Quantum complexity theory Models of computation Probabilistic complexity theory Quantum information science QIP QMA Interactive proof system IP Arthur–Merlin protocol Theoretical computer science Computational complexity theory Applied mathematics
546	Tax Financed Government Health Expenditure and Growth with Capital Deepening Externality∗ By Kei Hosoya† Abstract This paper develops a two-sector endogenous growth model with health Add to Reading List Source URL: cis.ier.hit-u.ac.jp Language: English - Date: 2014-07-01 09:03:51
547	Composition of Zero-Knowledge Proofs with Efficient Provers∗ Eleanor Birrell† Salil Vadhan‡ Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2009-12-07 14:26:58 Cryptographic protocols Complexity classes Interactive proof system Zero-knowledge proof Proof of knowledge Quantum complexity theory IP NP Soundness Theoretical computer science Computational complexity theory Cryptography
548	A classical ergodic property for IFS: A simple proof B. Forte1;2 , F. Mendivil2 1 Facolta di Scienze MM. FF. e NN. a Ca Vignal Add to Reading List Source URL: links.uwaterloo.ca Language: English - Date: 2007-07-23 21:51:05 Integration by substitution Fourier analysis Measure theory Mathematical series Asymptotic equipartition property Knaster–Tarski theorem Mathematical analysis Mathematics Ergodic theory
549	ExampleProofTree_Corrected.png Add to Reading List Source URL: oro.open.ac.uk Language: English - Date: 2014-11-25 16:32:43 Logical syntax Semantic Web Proof theory Inference Entailment Web Ontology Language Semantic reasoner Formal proof Deduction Logic Reasoning Logical consequence
550	Proof of Beal’s Conjecture (In Logic Symbols) By: Don Blazys and Brett Blazys (research assistant) Abstract: This is essentially the same proof that can be found on my website http://donblazys.com/ and on the “Unsolv Add to Reading List Source URL: donblazys.com Language: English - Date: 2013-04-30 16:41:51 Predicate logic Proof theory Logical syntax Model theory First-order logic Mathematical proof Formal proof Calculus Logic Mathematics Mathematical logic

UPDATE